CFLAGS-y += -fshort-wchar

obj-y += boot.init.o ebmalloc.o runtime.o
obj-$(CONFIG_ACPI) +=  efi-dom0.init.o
